Coverity has the annoying habit of guessing backwards that
if we check the value here, it might be NULL earlier.
GDK_BUTTON_MOTION_MASK |
GDK_POINTER_MOTION_MASK;
attributes_mask = GDK_WA_X | GDK_WA_Y | GDK_WA_NOREDIR;
- if (gtk_widget_is_sensitive (widget) && priv->select_info && priv->select_info->selectable)
+ if (gtk_widget_is_sensitive (widget) && priv->select_info->selectable)
{
attributes.cursor = gdk_cursor_new_for_display (gtk_widget_get_display (widget),
GDK_XTERM);